class BASEA
   feature
        A : INTEGER
        frozen B : INTEGER
        
        frozen C() : INTEGER
        do
            Result:=2
        end
end

class DERIVEDA
      inherit BASEA
      feature
        A : INTEGER
        B : INTEGER
        
        C() : INTEGER
            deferred
        end
end